Nuprl Lemma : pm_equal_wf 13,42

ab:a =  b   
latex


Upint 2, int 2
DefinitionsP  Q, i =  j, , t  T, x:AB(x)

origin